Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
991	arXiv:1010.0725v1 [physics.soc-ph] 4 OctLink Prediction in Complex Networks: A Survey Linyuan L¨ u a,b , Tao Zhou a,c Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-10-05 20:13:49 Network theory Networks Mathematics Discrete mathematics Community structure Network science Evolving networks Scale-free network Hub Degree distribution Theoretical computer science
992	Electronic Notes in Theoretical Computer Science (Preliminary Versions) 15th workshop on functional and (constraint) logic programming WFLP’06 Add to Reading List Source URL: gpd.sip.ucm.es Language: English - Date: 2007-02-08 13:01:50
993	Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:09 Theoretical computer science Logic in computer science Software engineering Formal methods Programming language semantics Models of computation Operational semantics Semantics Bisimulation Process calculus Programming language Transition system
994	Robert H. Gilman www.math.stevens.edu/~rgilman Curriculum Vitae, February 2015 Education A.B., Princeton University, June 1964 Ph.D., Columbia University, January 1969, Advisor: P. X. Gallagher Add to Reading List Source URL: www.math.stevens.edu Language: English - Date: 2015-03-02 13:33:30 Geometric group theory Combinatorics on words Discrete mathematics Theoretical computer science Model theory Combinatorics Group theory Ring Cayley graph Hyperbolic group Module:User:Lesser Cartographies/G Module:User:Lesser Cartographies/MR
995	The Query-flow Graph: Model and Applications Paolo Boldi1∗ Debora Donato2 Add to Reading List Source URL: www.francescobonchi.com Language: English - Date: 2011-01-16 14:09:13 Search algorithms Information science Information retrieval Internet search Web search query Reachability Query expansion Theoretical computer science Query optimization Web query classification
996	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 21 pages Ribbon Proofs Jules Bean 1,2 Department of Computer Science Add to Reading List Source URL: www.entcs.org Language: English - Date: 2005-10-10 18:32:00
997	Amit Chakrabarti Curriculum Vitae April 2014 Associate Professor Department of Computer Science Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2015-10-14 21:30:58 Theoretical computer science Academia Computer science Computational complexity theory Algorithms Streaming algorithm Symposium on Discrete Algorithms Communication complexity Bernard Chazelle Machtey Award
998	Nordic Journal of Computing), 151–172. ON THE COMPLEXITY OF VARIATIONS OF EQUAL SUM SUBSETS MARK CIELIEBAK Institute of Theoretical Computer Science, ETH Z¨urich Add to Reading List Source URL: users.softlab.ntua.gr Language: English - Date: 2009-08-18 11:30:48
999	Dresden University of Technology Institute for Theoretical Computer Science Chair for Automata Theory LTCS–Report Add to Reading List Source URL: lat.inf.tu-dresden.de Language: English - Date: 2013-02-18 09:19:07
1000	Logical Methods in Computer Science Vol. 1 (1:, 22 pages www.lmcs-online.org Submitted Published Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:28 Connection Differential geometry Process calculi Theoretical computer science -calculus Valuation Bearing pressure Symbol

UPDATE